- построение аксиоматическое
- аксиоматикалық құру
Русско-казахский терминологический словарь "Машиностроение". - Академия Педагогических Наук Казахстана . 2014.
построение аксиоматическое
Смотреть что такое "построение аксиоматическое" в других словарях:
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Арифметика — (греч. arithmetika, от arithmys число) наука о числах, в первую очередь о натуральных (целых положительных) числах и (рациональных) дробях, и действиях над ними. Владение достаточно развитым понятием натурального числа и умение… … Большая советская энциклопедия
НЕЙМАН ФОН — (Neumann von) Джон (Янош, Иоганн) (1903 1957) математик, философ (США). Член Национальной академии США, Американского философского общества, Американской Академии искусств и наук, Академии деи Линчей (Италия), Ломбардского института наук и… … История Философии: Энциклопедия
НЕЙМАН фон Джон (Янош, Иоганн) (1903-1957) — математик, философ (США). Член Национальной академии США, Американского философского общества, Американской Академии искусств и наук, Академии деи Линчей (Италия), Ломбардского института наук и литературы, Нидерландской королевской академии наук… … История Философии: Энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
СИСТЕМА — (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… … Философская энциклопедия
исчисление высказываний — раздел математической логики, аксиоматическое построение логики высказываний. * * * ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ) … Энциклопедический словарь
Каратеодори Константин — (Carathéodory) (1873 1950), немецкий математик. Труды по теории функций, вариационному исчислению. Дал (1909) аксиоматическое построение основ термодинамики. * * * КАРАТЕОДОРИ Константин КАРАТЕОДОРИ (Caratheodory) Константин (1873 1950), немецкий … Энциклопедический словарь
Рассел Бертран — (Russell) (1872 1970), философ, логик, математик, общественный деятель; основоположник английского неореализма и неопозитивизма. Развил дедуктивно аксиоматическое построение логики в целях логического обоснования математики. Автор (совместно с… … Энциклопедический словарь
Число Штифеля — Класс Штифеля Уитни определённый характеристический класс, соответствующий вещественному векторному расслоению . Обычно обозначается через w(E). Принимает значения в , кольце когомологий с коэффициентами в . Компонента w(E) в i ых когомологиях… … Википедия
